rightcancellation law

右消去律